121. Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
پدیدآورنده : \ Edited by Tarek Sobh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer engineering -- Congresses.,Software engineering -- Congresses,مهندسی کامپیوتر -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
122. Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers
پدیدآورنده : Walt Truszkowski, Chris Rouff, Mike Hinchey )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2564
123. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
124. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
125. Intelligent information systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided software engineering ; Congresses. ; -Computer
126. Knowledge Engineering and Management
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence -- Engineering applications -- Congresses,Intelligent agents (Computer software) -- Congresses,Systems engineering -- Congresses,هوش مصنوعی -- کاربردهای مهندسی -- کنگرهها,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگرهها,مهندسی سیستم ها -- کنگرهها
رده :
E-Book
,
127. Knowledge and systems engineering :Proceedings of the Fifth International Conference KSE 2013, volume 1
پدیدآورنده : Huynh, Van-Nam
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Expert systems )Computer science( -- Congresses,، Software engineering -- Congresses,، Systems engineering -- Congresses
رده :
T
58
.
5
.
K56719
2014
128. Knowledge-based software engineering
پدیدآورنده : / edited by T. Hruska and M. Mashimoto
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Software engineering- Congresses,Expert systems (Computer science)- Congresses
رده :
QA76
.
758
.
K655
2000
129. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K66
2000
130. Knowledge-based software engineering: proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
J65
2000
131. Knowledge-based software engineering: proceedings of the Third Joint Conference on knowledge-based software engineering in Smolentice, Slovakia, 1998
پدیدآورنده : edited by Pavol Navrat and Haruki Ueno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
K65
1998
132. Knowledge engineering and management proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 )ISKE 2012(
پدیدآورنده : Fuchun Sun, Tianrui Li, Hongbo Li, editors
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Artificial intelligence - Engineering applications,Congresses ، Intelligent agents )Computer software(,Congresses ، Systems engineering
رده :
Q334
133. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Software architecture -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها ,معماری نرمافزار -- کنگرهها
رده :
E-Book
,
134. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگرهها
رده :
E-Book
,
135. Languages, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 28-30, 1998 : selected papers
پدیدآورنده : David O'Hallaron )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Software engineering,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1511
136. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
137. Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
پدیدآورنده : Gunther Ruhe, Frank Bomarius )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1756
138. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (تهران)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
139. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
140. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,علوم کامپیوتر -- ریاضیات -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,